Статья

Название статьи

ЛОГИКО-АЛГЕБРАИЧЕСКИЕ МОДЕЛИ И МЕТОДЫ В ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНОЙ
АРХИТЕКТУРЫ РАСПРЕДЕЛЕННЫХ СИСТЕМ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ 

Авторы

Волчихин Владимир Иванович, доктор технических наук, профессор, ректор Пензенского государственного университета, rectorat@pnzgu.ru
Зинкин Сергей Александрович, доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет, zsa49@yandex.ru 

Индекс УДК

681.324 

Аннотация

Предлагается метод архитектурного моделирования и проектирования программного обеспечения систем и сетей хранения и обработки данных.
Рассматриваемый метод базируется на формальном описании дискретных процессов над структурированной памятью. Предложены логико-алгебраические поведенческие модели распределенных систем хранения и обработки данных, предлагаемые для использования в качестве непосредственно исполняемых спецификаций. 

Ключевые слова

хранение данных, обработка данных, формальное определение распределенных процессов, логико-алгебраический подход, сети абстрактных машин, распределенные поведенческие модели. 

 

 Скачать статью в формате PDF

Список литературы

1. Фарли, М. Сети хранения данных / М. Фарли. – М. : Лори, 2003. – 550 с.
2. Наик, Д. Системы хранения данных в Windows / Д. Наик. – М. : Вильямс, 2005. – 432 с.
3. От хранения данных к управлению информацией / ЕМС. – СПб. : Питер, 2010. – 544 с.
4. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – С. 13–22.
5. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и варианты использования) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 4. –         С. 37–51.
6. Зинкин, С. А. Элементы технологии иерархического концептуального моделирования и реализации систем и сетей хранения и обработки данных / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2008. – № 4. – С. 3–15.
7. Зинкин, С. А. Иерархические сети абстрактных машин и виртуализация интеллектуальных систем внешнего хранения и обработки данных / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2009. – № 2. – С. 25–38.
8. Глушков, В. М. Методы символьной мультиобработки / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. – Киев, Наукова думка, 1980. – 252 с.
9. Многоуровневое структурное проектирование программ. Теоретические основы, инструментарий / Е. Л. Ющенко, Г. Е. Цейтлин, В. П. Грицай, Т. К. Терзян. – М. : Финансы и статистика, 1989. – 208 с.
10. Капитонова, Ю. В. Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. – М. : Наука, 1988. – 296 с.
11. Плесневич, Г. С. Логические модели : в 3-х кн. / Г. С. Плесневич // Искусственный интеллект. Кн. 2. Модели и методы : справочник / под ред. Д. А. Поспелова. – М. : Радио и связь, 1990. – С. 14–28.
12. Gurevich, Y. Evolving algebras – a tutorial introduction / Y. Gurevich // Bulletin of the EATS. – 1991. – V. 43. – Р. 264–284.
13. Dexter, S. Gurevich abstract state machines and Shönhage storage modification machines / S. Dexter, P. Doyle, Y. Gurevich // Journal of Universal Comp. Science. – 1997. – V. 3, № 4. – Р. 279–303.
14. Волчихин, В. И. Логико-алгебраический подход к проектированию компьютерной и сетевой архитектуры / В. И. Волчихин, С. А. Зинкин // XI Международная научно-техническая конференция : сб. ст. – Пенза : Приволжский Дом знаний, 2011. – С. 5–10.
15. Волчихин, В. И. Абстрактное и структурное моделирование сетей хранения и обработки данных / В. И. Волчихин, С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2011. – № 4. – С. 3–18.
16. Волчихин, В. И. Развитие нефоннеймановских концепций в компьютерной и сетевой архитектуре / В. И. Волчихин, С. А. Зинкин // Новые информационные технологии и системы : тр. IX Междунар. науч.-техн. конф. − Ч. 2. − Пенза, 2010. – С. 48–63.
17. Брой, М. Информатика. Основополагающее введение / М. Брой. – М. : Диалог МИФИ, 1996. – 299 с.
18. Зинкин, С. А. Самомодифицируемые сценарные модели функционирования систем и сетей хранения и обработки данных (базовый формализм и темпоральные операции / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 1. –         С. 3–12.
19. Зинкин, С. А. Самомодифицируемые сценарные модели функционирования систем и сетей хранения и обработки данных (реализация и свойства сценарных моделей) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 2. – С. 13–21. 

 

Дата создания: 31.07.2013 09:05
Дата обновления: 31.07.2013 09:05